$def with (inputId, header)

$#
$# This file is part of INGInious. See the LICENSE and the COPYRIGHTS files for
$# more information about the licensing of this file.
$#
<div id="task_alert_$inputId" class="task_alert_problem"></div>
$:header
<input type="text" name="$inputId" value="" class="monospace form-control"/>